core_1 2,24

ABS: *

ABS: s = t

ABS: s ~ t

ABS: Type

ABS: Void

ABS: any

ABS: Atom

ABS: "$token"

ABS: 

ABS: Object

ABS: #$n

ABS: -n

ABS: n+m

ABS: n-m

ABS: nm

ABS: n  m

ABS: n rem m

ABS: ind(vx,y.d(x;y); bw,z.u(w;z))

ABS: type List

ABS: nil

ABS: car.cdr

ABS: Case of a; nil  s ; x.y, rec:z  t(x;y;z)

ABS: left+right

ABS: inl(x)

ABS: inr(x)

ABS: Case b of inl(x s(x) ; inr(y t(y)

ABS: x:AB(x)

ABS: <a,b>

ABS: A/x,yB(x;y)

ABS: x:AB(x)

ABS: {x | y:A  B(x;y)}

ABS: x:AB(x)

ABS: x.A(x)

ABS: f(a)

ABS: x,y:A//B(x;y)

ABS: {x:AB(x) }

ABS: a<b

ABS: if a=bAtomcd fi

ABS: if a=b c ; d fi

ABS: if a<b c ; d fi

ABS: recind(Ax,yB(x;y))

ABS: rec(x.A(x))

ABS: t  T

ABS: Unit

ABS: True

ABS: False

ABS: P & Q

ABS: P  Q

ABS: P  Q

ABS: P  Q

ABS: T

ABS: A

ABS: a  b

ABS: P  Q

ABS: x:AB(x)

ABS: x:AB(x)

ABS: x:AB(x)

ABS: AB

ABS: ij

ABS: i>j

ABS: S  T


origin